Improve window dividers code.
authormartin rudalics <rudalics@gmx.at>
Tue, 4 Feb 2014 07:36:58 +0000 (08:36 +0100)
committermartin rudalics <rudalics@gmx.at>
Tue, 4 Feb 2014 07:36:58 +0000 (08:36 +0100)
commitc49483a549fe7bb7e637b6fd038da45e776de23e
tree9f81395cf26c40a3bd3565cd837f0ab46a634c43
parent7bce2773a86b6d62487ab4bcb6931fbc44955d9e
Improve window dividers code.

* faces.el (window-divider): New default value.  Rewrite
doc-string.
(window-divider-first-pixel, window-divider-last-pixel): New
faces.
* dispextern.h (face_id): Add WINDOW_DIVIDER_FIRST_PIXEL_FACE_ID
and WINDOW_DIVIDER_LAST_PIXEL_FACE_ID.
* w32term.c (w32_draw_window_divider): Handle first and last
pixels specially.
* w32term.h (w32_fill_area_abs): New function.
* xdisp.c (x_draw_right_divider): Don't draw over bottom
divider.
* xfaces.c (realize_basic_faces): Handle new face ids.
* xfns.c (Fx_create_frame): Call x_default_parameter for right
and bottom divider width.
* xterm.c (x_draw_window_divider): Handle first and last pixels
specially.
etc/NEWS
lisp/ChangeLog
lisp/faces.el
src/ChangeLog
src/dispextern.h
src/w32term.c
src/w32term.h
src/xdisp.c
src/xfaces.c
src/xfns.c
src/xterm.c